\existentialConstants {
  int x1, x2, x3, x4;
}
\problem {
(\exists int x1;(
(((-4*x1) + (-3*x2) + 1*x3 >= 4 & (5*x1 + (-2*x3) <= 0 | (! (1*x1 + (-4*x3) + 5*x4 = 5) | 4*x2 + 3*x3 = 0))) & ((4*x2 + 1*x3 > -5 & 2*x2 + 5*x3 + 5*x4 > 3) | (4*x1 + (-1*x2) + 2*x4 <= 5 & (-1*x2) + 3*x3 > 2)))
))
}
